fix tidy modernize-deprecated-headers
authortsteven4 <13596209+tsteven4@users.noreply.github.com>
Sun, 20 Nov 2022 15:05:54 +0000 (08:05 -0700)
committertsteven4 <13596209+tsteven4@users.noreply.github.com>
Sun, 20 Nov 2022 15:05:54 +0000 (08:05 -0700)
commit657ebcc8a94099f09db87e078c77b355f892955e
treeed18a8be4da2c2da3bf1da9cf36eac96eeffe11b
parent969011f8885d284fd72a613f32279f4f5ef4efe6
fix tidy modernize-deprecated-headers
gui/filterwidgets.cc